Facet browsing currently unavailable
Page 1 of 16646 results
Sort by: relevance publication year
Efficient random sampling of binary and unary-binary trees via holonomic equations JOURNAL ARTICLE published September 2017 in Theoretical Computer Science |
Generic models for computational effects JOURNAL ARTICLE published November 2006 in Theoretical Computer Science |
Analysis of a cellular automaton model for car traffic with a junction JOURNAL ARTICLE published September 2012 in Theoretical Computer Science |
Complexity of approximating the vertex centroid of a polyhedron JOURNAL ARTICLE published March 2012 in Theoretical Computer Science |
Semi-online scheduling problems on two identical machines with inexact partial information JOURNAL ARTICLE published May 2007 in Theoretical Computer Science |
Computational isomorphisms in classical logic JOURNAL ARTICLE published February 2003 in Theoretical Computer Science |
Three remarks on W graphs JOURNAL ARTICLE published April 2024 in Theoretical Computer Science |
Finding dominating induced matchings in P10-free graphs in polynomial time JOURNAL ARTICLE published April 2024 in Theoretical Computer Science |
Fundamentals of reversible flowchart languages JOURNAL ARTICLE published January 2016 in Theoretical Computer Science Research funded by MEXT (25730049) | Danish Council for Strategic Research (0603-00222B) | Danish Council for Independent Research (12-126689) |
Abstract flows over time: A first step towards solving dynamic packing problems JOURNAL ARTICLE published August 2014 in Theoretical Computer Science Research funded by Deutsche Forschungsgemeinschaft (1307) | DFG Research Center Matheon (FZT 86) |
Justified common knowledge JOURNAL ARTICLE published July 2006 in Theoretical Computer Science |
Diameter of colorings under Kempe changes JOURNAL ARTICLE published October 2020 in Theoretical Computer Science |
An approximability result of the multi-vehicle scheduling problem on a path with release and handling times JOURNAL ARTICLE published January 2004 in Theoretical Computer Science |
Hardness and approximation for the star p-Hub Routing Cost Problem in metric graphs JOURNAL ARTICLE published June 2022 in Theoretical Computer Science |
Control machines: A new model of parallelism for compositional specifications and their effective compilation JOURNAL ARTICLE published September 1991 in Theoretical Computer Science |
On the suitability of trace semantics for modular proofs of communicating processes JOURNAL ARTICLE published 1985 in Theoretical Computer Science |
Tractability conditions for numeric CSPs JOURNAL ARTICLE published March 2018 in Theoretical Computer Science |
A note on: ‘Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages’ (by K. Ayers) JOURNAL ARTICLE published 1987 in Theoretical Computer Science |
Advances in Algorithms & Combinatorics on Strings (Honoring 60th birthday for Prof. Costas S. Iliopoulos) JOURNAL ARTICLE published February 2018 in Theoretical Computer Science |
Editorial board JOURNAL ARTICLE published June 1994 in Theoretical Computer Science |